java7开发规范

Java虚拟机规范（Java SE 7）.pdf

目录译者序 ................................................................2版权声明...............................................................4目录 ..................................................................8前言 .................................................................14第二版说明.........................................................15Java SE 7 版说明 ..................................................15第 1 章 引言 ...........................................................181.1 简史..........................................................181.2 Java 虚拟机 ...................................................181.3 各章节提要.....................................................191.4 说明..........................................................20第 2 章 Java 虚拟机结构 .................................................212.1 Class 文件格式 .................................................212.2 数据类型 ......................................................222.3 原始类型与值 ...................................................222.3.1 整型类型与整型值 ..........................................232.3.2 浮点类型、取值集合及浮点值 ..................................242.3.3 returnAddress 类型和值 ...................................262.3.4 boolean 类型 .............................................262.4 引用类型与值 ...................................................272.5 运行时数据区 ...................................................272.5.1 PC 寄存器 ................................................282.5.2 Java 虚拟机栈 ............................................282.5.3 Java 堆 .................................................292.5.4 方法区...................................................29Java 虚拟机规范 — 目录第 9 页 / 共 387 页2.5.5 运行时常量池..............................................302.5.6 本地方法栈 ...............................................302.6 栈帧..........................................................312.6.1 局部变量表 ...............................................322.6.2 操作数栈 .................................................332.6.3 动态链接 .................................................342.6.4 方法正常调用完成 ..........................................342.6.5 方法异常调用完成 ..........................................342.7 对象的表示.....................................................352.8 浮点算法 ......................................................352.8.1 Java 虚拟机和 IEEE 754 中的浮点算法..........................352.8.2 浮点模式 .................................................362.8.3 数值集合转换..............................................372.9 初始化方法的特殊命名 ............................................382.10 异常.........................................................382.11 字节码指令集简介...............................................402.11.1 数据类型与 Java 虚拟机.....................................412.11.2 加载和存储指令 ...........................................442.11.3 运算指令 ................................................452.11.4 类型转换指令.............................................462.11.5 对象创建与操作 ...........................................472.11.6 操作数栈管理指令 .........................................482.11.7 控制转移指令.............................................482.11.8 方法调用和返回指令........................................492.11.9 抛出异常 ................................................492.11.10 同步 ..................................................492.12 类库.........................................................502.13 公有设计，私有实现 .............................................51第 3 章 为 JAVA 虚拟机编译 ...............................................53Java 虚拟机规范 — 目录第 10 页 / 共 387 页3.1 示例的格式说明 .................................................533.2 常量、局部变量的使用和控制结构 ....................................543.3 算术运算 ......................................................583.4 访问运行时常量池................................................593.5 更多的控制结构示例 ..............................................613.6 接收参数 ......................................................643.7 方法调用 ......................................................643.8 使用类实例.....................................................673.9 数组..........................................................693.10 编译 switch 语句...............................................713.11 使用操作数栈 ..................................................733.12 抛出异常和处理异常 .............................................743.13 编译 finally 语句块 ............................................783.14 同步.........................................................813.15 注解.........................................................82第 4 章 Class 文件格式 ..................................................844.1 ClassFile 结构 ................................................854.2 各种内部表示名称................................................904.2.1 类和接口的二进制名称 .......................................904.2.2 非全限定名 ...............................................904.3 描述符和签名 ...................................................914.3.1 语法符号 .................................................914.3.2 字段描述符 ...............................................924.3.3 方法描述符 ...............................................934.3.4 签名 ....................................................944.4 常量池 ........................................................974.4.1 CONSTANT_Class_info 结构 .................................984.4.2 CONSTANT_Fieldref_info， CONSTANT_Methodref_info 和CONSTANT_InterfaceMethodref_info 结构 ..........................99Java 虚拟机规范 — 目录第 11 页 / 共 387 页4.4.3 CONSTANT_String_info 结构 ...............................1004.4.4 CONSTANT_Integer_info 和 CONSTANT_Float_info 结构 ........1014.4.5 CONSTANT_Long_info 和 CONSTANT_Double_info 结构 ..........1024.4.6 CONSTANT_NameAndType_info 结构 ..........................1034.4.7 CONSTANT_Utf8_info 结构 .................................1044.4.8 CONSTANT_MethodHandle_info 结构 .........................1064.4.9 CONSTANT_MethodType_info 结构 ...........................1074.4.10 CONSTANT_InvokeDynamic_info 结构 .......................1074.5 字段.........................................................1084.6 方法.........................................................1104.7 属性.........................................................1134.7.1 自定义和命名新的属性 ......................................1154.7.2 ConstantValue 属性 ......................................1164.7.3 Code 属性 ...............................................1174.7.4 StackMapTable 属性 ......................................1204.7.5 Exceptions 属性 .........................................1264.7.6 InnerClasses 属性 .......................................1284.7.7 EnclosingMethod 属性 ....................................1304.7.8 Synthetic 属性 ..........................................1314.7.9 Signature 属性 ..........................................1324.7.10 SourceFile 属性 ........................................1324.7.11 SourceDebugExtension 属性 .............................1334.7.12 LineNumberTable 属性 ...................................1344.7.13 LocalVariableTable 属性 ................................1354.7.14 LocalVariableTypeTable 属性 ............................1374.7.15 Deprecated 属性 ........................................1394.7.16 RuntimeVisibleAnnotations 属性 .........................1394.7.16.1 element_value 结构 ...............................1414.7.17 RuntimeInvisibleAnnotations 属性 ......................143Java 虚拟机规范 — 目录第 12 页 / 共 387 页4.7.18 RuntimeVisibleParameterAnnotations 属性 ................1444.7.19 RuntimeInvisibleParameterAnnotations 属性 ..............1464.7.20 AnnotationDefault 属性 .................................1474.7.21 BootstrapMethods 属性 ..................................1484.8 格式检查 .....................................................1504.9 Java 虚拟机代码约束 ............................................1504.9.1 静态约束 ................................................1504.9.2 结构化约束 ..............................................1534.10 Class 文件校验 ...............................................1564.10.1 类型检查验证............................................1574.10.2 类型推导验证............................................1584.10.2.1 类型推断的验证过程 .................................1584.10.2.2 字节码验证器 ......................................1584.10.2.3 long 和 double 类型的值.............................1614.10.2.4 实例初始化方法与创建对象 ............................1624.10.2.5 异常和 finally ....................................1634.11 Java 虚拟机限制 ..............................................165第 5 章 加载、链接与初始化 ..............................................1675.1 运行时常量池 ..................................................1675.2 虚拟机启动....................................................1705.3 创建和加载....................................................1705.3.1 使用引导类加载器来加载类型 .................................1725.3.2 使用用户自定义类加载器来加载类型 ............................1725.3.3 创建数组类 ..............................................1735.3.4 加载限制 ................................................1745.3.5 从 Class 文件中获取类 .....................................1755.4 链接.........................................................1765.4.1 验证 ...................................................1765.4.2 准备 ...................................................177Java 虚拟机规范 — 目录第 13 页 / 共 387 页5.4.3 解析 ...................................................1785.4.3.1 类与接口解析 .......................................1795.4.3.2 字段解析...........................................1795.4.3.3 普通方法解析 .......................................1805.4.3.4 接口方法解析 .......................................1815.4.3.5 方法类型与方法句柄解析 ...............................1825.4.3.6 调用点限定符解析 ....................................1855.4.3 访问控制 ................................................1855.4.5 方法覆盖 ................................................1865.5 初始化 .......................................................1875.6 绑定本地方法实现...............................................1895.7 Java 虚拟机退出 ...............................................189第 6 章 Java 虚拟机指令集...............................................1906.1 设定：“必须”的含义 ............................................1906.2 保留操作码....................................................1906.3 虚拟机错误....................................................1916.4 指令描述格式 ..................................................1916.5 指令集描述....................................................193第 7 章 操作码助记符 ...................................................379